home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 2.iso / STUTTGART / LANG / PROLOG / HUMBOLT / HUMBOLTS / _files / _humboltsr / ATOMS._h < prev    next >
Text File  |  1990-10-04  |  18KB  |  317 lines

  1. /***************************************************
  2. ****************************************************
  3. **                                                **
  4. **  HU-Prolog     Portable Interpreter System     **
  5. **                                                **
  6. **  Release 1.62   January  1990                  **
  7. **                                                **
  8. **  Authors:      C.Horn, M.Dziadzka, M.Horn      **
  9. **                                                **
  10. **  (C) 1989      Humboldt-University             **
  11. **                Department of Mathematics       **
  12. **                GDR 1086 Berlin, P.O.Box 1297   **
  13. **                                                **
  14. ****************************************************
  15. ***************************************************/
  16.  
  17.  
  18. #define UNBOUNDT             atom_units(  1)                                
  19. #define VART                 atom_units(  2)                      
  20. #define SKELT                atom_units(  3)                     
  21. #define INTT                 atom_units(  4)                        
  22. #define CLAUSET              atom_units(  5)                        
  23.  
  24. #define FUNCNAME             atom_units(  6)                 
  25. /* regular atom */
  26.  
  27. #define REALT                atom_units(  7)                        
  28. #define LONGT                atom_units(  8)                         
  29.  
  30. #define NORMATOM             atom_units(  9)                    
  31.  
  32. /* I/O */
  33. #define SEE_1                atom_units( 10)                           
  34. #define SEEING_1             atom_units( 11)                     
  35. #define SEEN_0               atom_units( 12)                          
  36. #define TELL_1               atom_units( 13)                           
  37. #define TELLING_1            atom_units( 14)                      
  38. #define TOLD_0               atom_units( 15)                             
  39. #define OPEN_1               atom_units( 16)                              
  40. #define CLOSE_1              atom_units( 17)                             
  41. #define SEEK_2               atom_units( 18)                                
  42.  
  43. #define WRITE_1              atom_units( 19)                               
  44. #define WRITEQ_1             atom_units( 20)                              
  45. #define DISPLAY_1            atom_units( 21)                            
  46. #define GET0_1               atom_units( 22)                       
  47. #define UNGET_0              atom_units( 23)                      
  48. #define READ_1               atom_units( 24)                         
  49. #define READ_2               atom_units( 25) 
  50. #define GET_1                atom_units( 26)                            
  51. #define PUT_1                atom_units( 27)                             
  52. #define EOLN_0               atom_units( 28)                            
  53. #define EOF_0                atom_units( 29)                               
  54. #define NL_0                 atom_units( 30)                                  
  55. #define TAB_1                atom_units( 31)                                 
  56. #define SKIP_1               atom_units( 32)                                
  57. #define CLS_0                atom_units( 33)                                   
  58. #define GOTOXY_2             atom_units( 34)                              
  59. #define ASK_1                atom_units( 35)                                
  60.  
  61. #define TTYGET_1             atom_units( 36)                              
  62. #define TTYGET0_1            atom_units( 37)                           
  63. #define TTYPUT_1             atom_units( 38)                            
  64. #define TTYREAD_1            atom_units( 39)                         
  65. #define TTYWRITE_1           atom_units( 40)                    
  66. #define TTYSKIP_1            atom_units( 41)                       
  67. #define TTYCLS_0             atom_units( 42)                          
  68. #define TTYGOTOXY_2          atom_units( 43)                     
  69. #define TTYNL_0              atom_units( 44)                              
  70. #define TTYTAB_1             atom_units( 45)                             
  71. #define TTYASK_1             atom_units( 46)                              
  72.  
  73. #define FNAME_2              atom_units( 47)                                
  74. #define FASSIGN_2            atom_units( 48)                           
  75. #define aWINDOW_0            atom_units( 49) 
  76. #define WGET0_1              atom_units( 50) 
  77.  
  78.  
  79.  
  80. /* flags */
  81.  
  82. #define TRACE_1              atom_units( 51)                                
  83. #define TRACE_0              atom_units( 52)                               
  84. #define NOTRACE_0            atom_units( 53)                          
  85. #define SPY_1                atom_units( 54)                                 
  86. #define NOSPY_1              atom_units( 55)                            
  87. #define ECHO_1               atom_units( 56)                             
  88. #define WARN_1               atom_units( 57)                            
  89. #define DEBUG_1              atom_units( 58)                         
  90. #define OCHECK_1             atom_units( 59)                   
  91. #define FILEE_1              atom_units( 60)                    
  92. #define FILEE_0              atom_units( 61)                   
  93. #define NFILEE_0             atom_units( 62)                
  94. #define SYSMODE_1            atom_units( 63) 
  95. #define aINTERRUPT_1         atom_units( 64) 
  96. #define REDUCE_1             atom_units( 65) 
  97.  
  98. #define ATOM_1               atom_units( 66)                                  
  99. #define INTEGER_1            atom_units( 67)                           
  100. #define NUMBER_1             atom_units( 68)                            
  101. #define ATOMIC_1             atom_units( 69)                           
  102. #define VAR_1                atom_units( 70)                             
  103. #define NONVAR_1             atom_units( 71)                      
  104. #define INVAR_1              atom_units( 72)                       
  105. #define GROUND_1             atom_units( 73)                    
  106. #define LIST_1               atom_units( 74) 
  107. #define COMPOUND_1           atom_units( 75) 
  108. #define STRING_1             atom_units( 76) 
  109. #define CURATOM_1            atom_units( 77)                       
  110. #define CUROP_3              atom_units( 78)                          
  111. #define CURPRED_1            atom_units( 79) 
  112. #define FUNCTOR_3            atom_units( 80)                 
  113. #define ARG_3                atom_units( 81)                        
  114. #define NAME_2               atom_units( 82)                     
  115. #define UNIV_2               atom_units( 83)                   
  116. #define SORT_2               atom_units( 84) 
  117. #define SORT0_2              atom_units( 85) 
  118. #define MEMBER_2             atom_units( 86) 
  119. #define IS_MEMBER_2          atom_units( 87) 
  120. #define NO_MEMBER_2          atom_units( 88) 
  121. #define APP_3                atom_units( 89) 
  122.  
  123. #define DBREF_1              atom_units( 90)                                
  124. #define ASSERT_1             atom_units( 91)                             
  125. #define ASSERTA_1            atom_units( 92)                          
  126. #define ASSERTZ_1            atom_units( 93)                         
  127. #define DBASS_2              atom_units( 94)                            
  128. #define DBASSA_2             atom_units( 95)                         
  129. #define DBASSZ_2             atom_units( 96)                        
  130. #define DBASS_3              atom_units( 97)                         
  131. #define RETRACT_1            atom_units( 98)                    
  132. #define RETALL_1             atom_units( 99)                     
  133. #define DBRET_2              atom_units(100)                  
  134. #define ABOL_1               atom_units(101)                     
  135. #define ABOL_2               atom_units(102)                      
  136. #define CLAUSE_2             atom_units(103)                   
  137. #define CLAUSE_3             atom_units(104)                   
  138. #define CONSULT_1            atom_units(105)                  
  139. #define RECONSULT_1          atom_units(106)               
  140. #define LISTING_1            atom_units(107)                         
  141. #define LISTALL_0            atom_units(108)                          
  142.  
  143. #define OP_3                 atom_units(109)                      
  144. #define CALL_1               atom_units(110)                   
  145. #define CUT_0                atom_units(111)                      
  146. #define FAIL_0               atom_units(112)                     
  147. #define TRUE_0               atom_units(113)                      
  148. #define REPEAT_0             atom_units(114)                   
  149. #define END_0                atom_units(115)                          
  150. #define HALT_0               atom_units(116)                         
  151. #define EXIT_1               atom_units(117)                          
  152. #define ABORT_0              atom_units(118)                         
  153. #define RESTART_0            atom_units(119)                      
  154. #define STATS_0              atom_units(120)                           
  155. #define MAIN_0               atom_units(121)                              
  156. #define SAVE_1               atom_units(122)                               
  157.  
  158. #define IS_2                 atom_units(123)                                   
  159. #define ASSIGN_2             atom_units(124)                            
  160. #define LT_2                 atom_units(125)                     
  161. #define LE_2                 atom_units(126)                      
  162. #define GT_2                 atom_units(127)                       
  163. #define GE_2                 atom_units(128)                        
  164. #define EQ_2                 atom_units(129)                         
  165. #define NE_2                 atom_units(130)                          
  166. #define PLUS_2               atom_units(131)                           
  167. #define MINUS_1              atom_units(132)                          
  168. #define MINUS_2              atom_units(133)                           
  169. #define TIMES_2              atom_units(134)                            
  170. #define DIVIDE_2             atom_units(135)                           
  171. #define MOD_2                atom_units(136)                                  
  172.  
  173. #define NIL_0                atom_units(137)                             
  174. #define CONS_2               atom_units(138)                            
  175. #define CURLY_0              atom_units(139)                       
  176. #define CURLY_1              atom_units(140)                           
  177. #define ARROW_2              atom_units(141)                            
  178. #define ARROW_1              atom_units(142)                             
  179. #define QUESTION_1           atom_units(143)                        
  180. #define SEMI_2               atom_units(144)                   
  181. #define COMMA_2              atom_units(145)                  
  182. #define IMPL_2               atom_units(146)                     
  183. #define NOT_1                atom_units(147)                        
  184. #define NOT1_1               atom_units(148)                       
  185. #define ISEQ_2               atom_units(149)                        
  186. #define ISNEQ_2              atom_units(150)                       
  187. #define EQUAL_2              atom_units(151)                        
  188. #define NOEQUAL_2            atom_units(152)                     
  189.  
  190. #define TOP_0                atom_units(153)                              
  191. #define INIT_0               atom_units(154) 
  192. #define PROMPT_0             atom_units(155) 
  193. #define INTERRUPT_0          atom_units(156)                   
  194. #define ERROR_2              atom_units(157)                            
  195. #define UNKNOWN_1            atom_units(158)                          
  196.  
  197. #define STDIN_0              atom_units(159)                    
  198. #define STDOUT_0             atom_units(160)                   
  199. #define STDERR_0             atom_units(161)                    
  200. #define STDTRACE_0           atom_units(162) 
  201. #define ON_0                 atom_units(163)                             
  202. #define OFF_0                atom_units(164)                            
  203. #define ALL_0                atom_units(165)                             
  204. #define USER_0               atom_units(166)                            
  205. #define NULL_0               atom_units(167) 
  206. #define FX_0                 atom_units(168)                                 
  207. #define FY_0                 atom_units(169)                                  
  208. #define XF_0                 atom_units(170)                                   
  209. #define YF_0                 atom_units(171)                                    
  210. #define XFX_0                atom_units(172)                         
  211. #define XFY_0                atom_units(173)                          
  212. #define YFX_0                atom_units(174)                           
  213. #define CALL_0               atom_units(175)                          
  214. #define PROVED_0             atom_units(176)                       
  215. #define REDO_0               atom_units(177)                            
  216. #define FAILED_0             atom_units(178)                         
  217.  
  218. #define DICT_1               atom_units(179)                                
  219. #define SDICT_1              atom_units(180)                             
  220. #define SYS_1                atom_units(181)                                
  221.  
  222. /* arithmetic functions */
  223. #define MAXINT_0             atom_units(182)                        
  224. #define MININT_0             atom_units(183)                         
  225. #define MAXAR_0              atom_units(184) 
  226. #define MAXDEP_0             atom_units(185) 
  227. #define LSHIFT_2             atom_units(186)                         
  228. #define RSHIFT_2             atom_units(187)                          
  229. #define BITAND_2             atom_units(188)                           
  230. #define BITOR_2              atom_units(189)                              
  231. #define BITNEG_1             atom_units(190)                
  232. #define AND_2                atom_units(191)                       
  233. #define OR_2                 atom_units(192)                          
  234. #define NEG_1                atom_units(193)                         
  235. #define ENTIER_1             atom_units(194)                    
  236. #define IDIV_2               atom_units(195)                         
  237. #define ALT_2                atom_units(196)                            
  238. #define ALE_2                atom_units(197)                             
  239. #define AGT_2                atom_units(198)                              
  240. #define AGE_2                atom_units(199)                               
  241. #define AEQ_2                atom_units(200)                                
  242. #define ANE_2                atom_units(201)                                 
  243. #define QUOTE_1              atom_units(202)                            
  244. #define EVAL_1               atom_units(203)                               
  245.  
  246.  
  247.  
  248. #define EVALUATE_2           atom_units(204)                        
  249. #define REDUCE_2             atom_units(205)                           
  250. #define DASSIGN_2            atom_units(206)                        
  251. #define ACOMP_1              atom_units(207)                           
  252.  
  253. #define ANCESTORS_1          atom_units(208)                      
  254. #define PRIVATE_1            atom_units(209)               
  255. #define HIDE_1               atom_units(210)                  
  256. #define ENSURE_3             atom_units(211)                   
  257. #define NL_2                 atom_units(212)                                  
  258. #define VERSION_0            atom_units(213)                         
  259.  
  260. #define GOTO_1               atom_units(214)                           
  261.  
  262. #define ARGC_1               atom_units(215) 
  263. #define ARGV_2               atom_units(216) 
  264. #define OPSYS_1              atom_units(217) 
  265. #define TIMER_1              atom_units(218)                             
  266.  
  267. #define SYSTEM_1             atom_units(219)                
  268. #define GETENV_2             atom_units(220)                    
  269. #define PUTENV_2             atom_units(221) 
  270. #define TIME_3               atom_units(222)                                  
  271. #define DATE_3               atom_units(223)                                 
  272. #define WEEKDAY_1            atom_units(224)                          
  273.  
  274.  
  275.  
  276.  
  277. #define COLON_2              atom_units(225) 
  278. #define INL_1                atom_units(226)  
  279. #define INR_1                atom_units(227) 
  280. #define SPREAD_2             atom_units(228)  
  281. #define DECIDE_3             atom_units(229) 
  282. #define IND_4                atom_units(230)   
  283. #define INT_EQ_4             atom_units(231) 
  284. #define LISTIND_3            atom_units(232) 
  285. #define LAMBDA_1             atom_units(233) 
  286. #define SUBST_3              atom_units(234) 
  287. #define SUBST_4              atom_units(235) 
  288. #define RECIND_3             atom_units(236) 
  289. #define TILDE_0              atom_units(237) 
  290. #define OF_2                 atom_units(238) 
  291. #define SUCC_1               atom_units(239) 
  292. #define PRED_1               atom_units(240) 
  293. #define PIND_3               atom_units(241) 
  294.  
  295. #define iCHOICEP_1           atom_units(242) 
  296. #define iSTACKT_1            atom_units(243) 
  297. #define iHEAPT_1             atom_units(244) 
  298. #define iASTACKT_1           atom_units(245) 
  299. #define iAHEAPT_1            atom_units(246) 
  300. #define iENV_1               atom_units(247) 
  301. #define iTRAIL_1             atom_units(248) 
  302. #define iNROFCALLS_2         atom_units(249) 
  303.  
  304.  
  305. #define PEEK_3               atom_units(250) 
  306. #define POKE_2               atom_units(251) 
  307.  
  308. #ifdef ARCHY
  309. #define SYNCLOSE_0           atom_units(252)
  310. #define NSYNCLOSE_0          atom_units(253)
  311.  
  312. #define LAST_ATOM            atom_units(254)       
  313. #else
  314. #define LAST_ATOM            atom_units(252)
  315. #endif
  316.  
  317.